Developer Tools

1323 casks 1.1M installs/mo avg 7

Rising in Developer Tools

Google Antigravity CLI 7.9x

9.7K/mo

Terminal interface for Antigravity agents

supacode 9.5x

4.8K/mo

Native terminal coding agents command center

Codex 3.0x

9.8K/mo

OpenAI's Codex desktop app for managing coding agents

OpenCode 2.1x

10.1K/mo

AI coding agent desktop client

AgentsView 10x

2.0K/mo

Browse, search and analyse your past AI coding sessions

CodexBar 4.5x

4.1K/mo

Menu bar usage monitor for Codex and Claude

← 5/56 →

1323 results

# App Installs/mo Version Rating

Freelens

Kubernetes IDE

freelens 1.3K 1.10.2

8.0

1.3K/mo 8.0

CaskaydiaMono Nerd Font (Cascadia Mono)

font-caskaydia-mono-nerd-font

font-caskaydia-mono-nerd-font 1.3K 3.4.0

8.0

1.3K/mo 8.0

ComicShannsMono Nerd Font (Comic Shanns Mono)

font-comic-shanns-mono-nerd-font

font-comic-shanns-mono-nerd-font 1.2K 3.4.0

8.0

1.2K/mo 8.0

100

Ubuntu Nerd Font (Ubuntu)

font-ubuntu-nerd-font

font-ubuntu-nerd-font 1.2K 3.4.0

9.0

1.2K/mo 9.0

101

Termius auto-updates

SSH client

termius 1.2K 9.40.1

7.5

1.2K/mo 7.5

102

DroidSansM Nerd Font (Droid Sans Mono)

font-droid-sans-mono-nerd-font

font-droid-sans-mono-nerd-font 1.2K 3.4.0

8.0

1.2K/mo 8.0

103

GCC ARM Embedded

Pre-built GNU bare-metal toolchain for 32-bit Arm processors

gcc-arm-embedded 1.2K 15.2.rel1

5.0

1.2K/mo 5.0

104

GoMono Nerd Font (Go Mono)

font-go-mono-nerd-font

font-go-mono-nerd-font 1.2K 3.4.0

8.0

1.2K/mo 8.0

105

kiro auto-updates

Agent-centric IDE with spec-driven development

kiro 1.2K 0.12.333

7.0

1.2K/mo 7.0

106

Another Redis Desktop Manager

Redis desktop manager

another-redis-desktop-manager 1.1K 1.7.1

7.0

1.1K/mo 7.0

107

Insomnia auto-updates

HTTP and GraphQL Client

insomnia 1.1K 13.0.2

9.0

1.1K/mo 9.0

108

Tabby

Terminal emulator, SSH and serial client

tabby 1.0K 1.0.234

8.0

1.0K/mo 8.0

109

GitHub Copilot auto-updates

Native client for GitHub Copilot

github-copilot-app 1.0K 1.0.15

7.0

1.0K/mo 7.0

110

RStudio

Data science software focusing on R and Python

rstudio 997 2026.06.0

8.0

997/mo 8.0

111

Wave Terminal auto-updates

Terminal emulator

wave 975 0.14.5

8.0

975/mo 8.0

112

Linear auto-updates

App to manage software development and track bugs

linear 969 1.31.1

6.0

969/mo 6.0

113

Fork auto-updates

GIT client

fork 967 2.66.7

8.0

967/mo 8.0

114

Goose

Open source, extensible AI agent that goes beyond code suggestions

block-goose 955 1.41.0

8.0

955/mo 8.0

115

Arduino IDE

Electronics prototyping platform

arduino-ide 931 2.3.10

8.0

931/mo 8.0

116

Übersicht auto-updates

Run commands and display their output on the desktop

ubersicht 884 1.6.82

8.0

884/mo 8.0

117

Devin Desktop auto-updates

Agentic IDE with AI agent command center

devin-desktop 876 3.4.22

7.0

876/mo 7.0

118

Environment for statistical computing and graphics

r-app 859 4.6.1

8.0

859/mo 8.0

119

DataGrip auto-updates

Databases and SQL IDE

datagrip 850 2026.1.3

8.0

850/mo 8.0

120

GTKWave

GTK+ based wave viewer

gtkwave 820 3.3.107

6.0

820/mo 6.0

Other categories

Media & Design 3063 Utilities 1127 Productivity 695 Security & Privacy 276 Games 221 Communication 220